na_eofdec finally started
codecs.multimedia.cx·7h
📺VT100 Emulation
Kathy Hochul: Why I Am Endorsing Zohran Mamdani
nytimes.com·1h·
Discuss: Hacker News
Awesome lists
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·3h·
🧮Z3 Solver
Valkyries overpowered by top-seeded Lynx in franchise’s first WNBA playoff game
mercurynews.com·5h
🗄️Database Recovery
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·53m·
Discuss: Hacker News
Format Verification
The Python Software Foundation with Deb Nicholson
opensourcesecurity.io·25m
🌐IPFS
Los Angeles on edge as agents threaten to ‘flood the zone’ with immigration raids
theguardian.com·11h
🔐Systems Hardening
I’ve cracked the code for securing a second date – buy yourself flowers
the-independent.com·6h
🎯Recommendation Metrics
We moved from Colorado to Massachusetts where we knew no one. It took time for us to find our place.
businessinsider.com·1d
🏠Personal Archives
Michael Yon About Getting More Intelligent
huijzer.xyz·2h
🎯Content Recommendation
Conservatives see 'mass immigration' as the political hot potato to mobilise voters
abc.net.au·25m
🎯Gradual Typing
The Women's Football Show
bbc.co.uk·1h
🎞️MKV Internals
My first CVE
natkr.com·2d·
🔓Hacking
Swimmable Cities: Cities want you back in the water
france24.com·11h
🌀Riemannian Computing
You should be rewriting your prompts
maxleiter.com·1d
📝Concrete Syntax
Your Weekly Horoscopes by Madame Clairevoyant: September 14–20
thecut.com·15h
Awesome lists
A Kevin week
blog.mitrichev.ch·3h·
📐Linear Algebra
Thanks Windows for reminding me I was supposed to switch to linux soon
reddit.com·11h·
Discuss: r/linux
🔌Operating system internals
ISO C++ committee has a new chief sheep herder
shape-of-code.com·2h
📜Proof Carrying Code
My Journey into Agentic AI Development: AI Newsroom
dev.to·9h·
Discuss: DEV
📡RSS Automation